First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
281	Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:50 Model theory Predicate logic Semantics Lambda calculus Logic in computer science First-order logic Skolem normal form Interpretation Function Logic Mathematical logic Mathematics
282	Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents Add to Reading List Source URL: cs.yale.edu Language: English - Date: 2014-10-24 21:23:28 Elementary arithmetic Mathematical logic Formal systems Probability theory Normal distribution First-order logic Generating function Probability-generating function Function Mathematics Logic Binary operations
283	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
284	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
285	Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Metalogic Formal methods Model theory Logic in computer science NP-complete problems First-order logic Satisfiability Modulo Theories Function Interpretation Logic Mathematics Theoretical computer science
286	A Logic-based Framework for Verifying Consensus Algorithms? Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zufferey3?? 1 Add to Reading List Source URL: forsyte.at Language: English - Date: 2013-12-10 04:45:58 Predicate logic Model theory Propositional calculus Theoretical computer science First-order logic Algorithm Function Predicate Interpretation Logic Mathematical logic Mathematics
287	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic
288	Computer-Aided Security Proofs for the Working Cryptographer⋆ Gilles Barthe1 , Benjamin Gr´egoire2, Sylvain Heraud2 , and Santiago Zanella B´eguelin1 1 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Functions and mappings Function First-order logic Interpretation Mathematical logic Model theory Logic
289	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
290	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic

UPDATE